x < y == let n,m = x in let n',m' = y in (n < n')  (n = n' & (m < m')) 

latex

---

clarification:

x < y == let n,m = x in let n',m' = y in (n < n')  (n = n'   & (m < m')) 

latex

Definitions	let x,y = A in B(x;y), P  Q, P & Q, s = t, , a < b
FDL editor aliases	intpair-less